Comparing material and structural set theories

Comparing Strengths and Weaknesses of Learning Theories

Introduction: Medical education is changing. Therefore, teachers need to evaluate their performance and try to maximize learning. Learning theories can provide insight in this important issue. This study aimed to review the strengths and weaknesses of learning theories including behavioral, cognitive and humanistic theories. Methods: In this study, some literatures related to learning theories...

On Relating Type Theories and Set Theories

Introduction The original motivation 1 for the work described in this paper was to determine the proof theoretic strength of the type theories implemented in the proof development systems Lego and Coq, Luo and Pollack 92, Barras et al 96]. These type theories combine the impredicative type of propositions 2 , from the calculus of constructions, Coquand 90], with the inductive types and hierarch...

POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

Comparing Abductive Theories

This paper introduces two methods for comparing explanation power of different abductive theories. One is comparing explainability for observations, and the other is comparing explanation contents for observations. Those two measures are represented by generality relations over abductive theories. The generality relations are naturally related to the notion of abductive equivalence introduced b...

Structural and Material Engineering